Heuristic Methods for Hypertree Decomposition
نویسندگان
چکیده
The literature provides several structural decomposition methods for identifying tractable subclasses of the constraint satisfaction problem. Generalized hypertree decomposition is the most general of such decomposition methods. Although the relationship to other structural decomposition methods has been thoroughly investigated, only little research has been done on efficient algorithms for computing generalized hypertree decompositions. In this paper we propose new heuristic algorithms for the construction of generalized hypertree decompositions. We evaluate and compare our approaches experimentally on both industrial and academic benchmark instances. Our experiments show that our algorithms improve previous heuristic approaches for this problem significantly.
منابع مشابه
New Heuristic Methods for Tree Decompositions and Generalized Hypertree Decompositions
Many practical hard problems in mathematics and computer science may be formulated as constraint satisfaction problems (CSPs). Tree and generalized hypertree decompositions are two important concepts which can be used for identifying and solving tractable classes of CSPs. Unfortunately the task of finding an optimal tree or generalized hypertree decomposition is an NP-complete problem. Thus man...
متن کاملHypertree-decomposition via Branch-decomposition
Hypertree-decomposition is the most general approach in the literature for identifying tractable computation problems encoded as hypergraphs. We show how the heuristic branch-decomposition approach for ordinary graphs of [Cook and Seymour, 2003] can be used for the heuristic construction of hypertree-decompositions.
متن کاملAn Empirical Comparison of CSP Decomposition Methods
We present an empirical comparison of decomposition techniques for CSPs. We compare three popular heuristics for tree decomposition and an exact method for optimal tree decomposition, along with two methods for hypertree decomposition. We use a small sample of instances in the experiments. We find that the connected hypertree decomposition method finds more optimal width decompositions than the...
متن کاملA Backtracking-Based Algorithm for Computing Hypertree-Decompositions
Hypertree decompositions of hypergraphs are a generalization of tree decompositions of graphs. The corresponding hypertreewidth is a measure for the cyclicity and therefore tractability of the encoded computation problem. Many NP-hard decision and computation problems are known to be tractable on instances whose structure corresponds to hypergraphs of bounded hypertree-width. Intuitively, the s...
متن کاملBacktracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs
Hypertree decomposition has been shown to be the most general CSP decomposition method. However, so far the exact methods are not able to find optimal hypertree decompositions of realistic instances. We present a backtracking procedure which, along with isomorphic component detection, results in optimal hypertree decompositions. We also make the procedure generic; variations of which results in...
متن کامل